N. Tabareau: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 12th annual international conference - Fukuoka, Japan (2013.03.24-2013.03.29)] Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13 - A typed monadic embedding of aspects

Tabareau, Nicolas, Figueroa, Ismael, Tanter, Éric

Year:

2013

Language:

english

File:

PDF, 644 KB

english, 2013

2

Effect capabilities for Haskell: Taming effect interference in monadic programming

Figueroa, Ismael, Tabareau, Nicolas, Tanter, Éric

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 930 KB

english, 2016

3

Where neuroscience and dynamic system theory meet autonomous robotics: A contracting basal ganglia model for action selection

B. Girard, N. Tabareau, Q.C. Pham, A. Berthoz, J.-J. Slotine

Journal:

Neural Networks

Year:

2008

Language:

english

File:

PDF, 1.38 MB

english, 2008

4

Difficultés diagnostiques en cytopathologie thyroïdienne : à propos de deux cas de tumeur trabéculaire hyalinisante

Tabareau, Flore, Kerdraon, Rémy, Lebas, Patrick, Michenet, Patrick

Journal:

Annales de Pathologie

Year:

2011

File:

PDF, 464 KB

2011

5

Le carcinome myoépithélial de la glande lacrymale

Moret, A., Tabareau-Delalande, F., Joly, A., de Muret, A., Goga, D., Laure, B.

Journal:

Revue de Stomatologie, de Chirurgie Maxillo-faciale et de Chirurgie Orale

Year:

2014

File:

PDF, 1.28 MB

2014

6

Foundations of dependent interoperability

DAGAND, PIERRE-ÉVARISTE, TABAREAU, NICOLAS, TANTER, ÉRIC

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 443 KB

english, 2018

7

Resource modalities in tensor logic

Paul-André Melliès, Nicolas Tabareau

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 1.24 MB

english, 2010

8

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Lazier Imperative Programming

Douence, Rémi, Tabareau, Nicolas

Year:

2014

Language:

english

File:

PDF, 404 KB

english, 2014

9

[IEEE 2006 6th IEEE-RAS International Conference on Humanoid Robots - University of Genova, Genova, Italy (2006.12.4-2006.12.6)] 2006 6th IEEE-RAS International Conference on Humanoid Robots - Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head

Manfredi, Luigi, Maini, Eliseo, Dario, Paolo, Laschi, Cecilia, Girard, Benoit, Tabareau, Nicolas, Berthoz, Alain

Year:

2006

Language:

english

File:

PDF, 308 KB

english, 2006

10

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Partial type equivalences for verified dependent interoperability

Dagand, Pierre-Evariste, Tabareau, Nicolas, Tanter, Éric

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

11

Preface: Special Issue on Homotopy Type Theory and Univalent Foundations

Lumsdaine, Peter Lefanu, Tabareau, Nicolas

Journal:

Journal of Automated Reasoning

Year:

2018

Language:

english

File:

PDF, 332 KB

english, 2018

12

Étude historique de la visualisation des protéines

Bruch, Jean-Frédéric, Metairy, Loïc, El Gani, Myriam, Pearson, Arthur, Kervarrec, Thibault, Tabareau-Delalande, Flore, López Yépez, Junior Samuel

Journal:

Revue Francophone des Laboratoires

Year:

2017

Language:

french

File:

PDF, 2.10 MB

french, 2017

13

An Algebraic Account of References in Game Semantics

Paul-André Melliès, Nicolas Tabareau

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 511 KB

english, 2009

14

Une tumeur thyroïdienne rare

Tabareau, Flore, Ragage, Florence, Berger, Françoise, Berger, Nicole, Guterman, Roland, Bruch, Jean-Frédéric

Journal:

Annales de Pathologie

Year:

2010

Language:

french

File:

PDF, 1.22 MB

french, 2010

15

An explicit formula for the free exponential modality of linear logic

MELLIÈS, PAUL-ANDRÉ, TABAREAU, NICOLAS, TASSON, CHRISTINE

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 318 KB

english, 2017

16

A toll-like receptor 5 agonist improves the efficacy of antibiotics in the treatment of primary and influenza-associated pneumococcal mouse infections 1

Porte, Rémi, Fougeron, Delphine, Muñoz-Wolf, Natalia, Tabareau, Julien, Georgel, Anne-France, Wallet, Fréderic, Paget, Christophe, Trottein, François, Chabalgoity, José A., Carnoy, Christophe, Sirard,

Journal:

Antimicrobial Agents and Chemotherapy

Year:

2015

Language:

english

File:

PDF, 5.26 MB

english, 2015

17

[ACM Press the 12th workshop - Fukuoka, Japan (2013.03.26-2013.03.26)] Proceedings of the 12th workshop on Foundations of aspect-oriented languages - FOAL '13 - Taming aspects with monads and membranes

Figueroa, Ismael, Tabareau, Nicolas, Tanter, Éric

Year:

2013

Language:

english

File:

PDF, 526 KB

english, 2013

18

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - The next 700 syntactical models of type theory

Boulier, Simon, Pédrot, Pierre-Marie, Tabareau, Nicolas

Year:

2017

Language:

english

File:

PDF, 238 KB

english, 2017

19

Chemical foundations of distributed aspects

Tabareau, Nicolas, Tanter, Éric

Journal:

Distributed Computing

Year:

2018

Language:

english

File:

PDF, 1.93 MB

english, 2018

20

Execution levels for aspect-oriented programming: Design, semantics, implementations and applications

Tanter, Éric, Figueroa, Ismael, Tabareau, Nicolas

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 626 KB

english, 2014

21

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Extending Type Theory with Forcing

Jaber, Guilhem, Tabareau, Nicolas, Sozeau, Matthieu

Year:

2012

Language:

english

File:

PDF, 291 KB

english, 2012

22

Unusual Outcome of a Right Ventricular Rhabdomyoma in an Infant

Lefort, B., Lothion, J., El Arid, J.-M., Tabareau-Delalande, F., Nassimi, A., Neville, P., Chantepie, A.

Journal:

World Journal for Pediatric and Congenital Heart Surgery

Year:

2016

Language:

english

File:

PDF, 947 KB

english, 2016

23

[ACM Press the eleventh workshop - Potsdam, Germany (2012.03.26-2012.03.26)] Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages - FOAL '12 - Taming aspects with membranes

Tanter, Éric, Tabareau, Nicolas, Douence, Rémi

Year:

2012

Language:

english

File:

PDF, 465 KB

english, 2012

24

[ACM Press the 10th international workshop - Porto de Galinhas, Brazil (2011.03.21-2011.03.21)] Proceedings of the 10th international workshop on Foundations of aspect-oriented languages - FOAL '11 - Aspect oriented programming

Tabareau, Nicolas

Year:

2011

Language:

english

File:

PDF, 503 KB

english, 2011

25

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - The Definitional Side of the Forcing

Jaber, Guilhem, Lewertowski, Gabriel, Pédrot, Pierre-Marie, Sozeau, Matthieu, Tabareau, Nicolas

Year:

2016

Language:

english

File:

PDF, 341 KB

english, 2016

26

[ACM Press the 13th international conference - Lugano, Switzerland (2014.04.22-2014.04.26)] Proceedings of the 13th international conference on Modularity - MODULARITY '14 - Compositional reasoning about aspect interference

Figueroa, Ismael, Schrijvers, Tom, Tabareau, Nicolas, Tanter, Éric

Year:

2014

Language:

english

File:

PDF, 835 KB

english, 2014

27

The MetaCoq Project

Sozeau, Matthieu, Anand, Abhishek, Boulier, Simon, Cohen, Cyril, Forster, Yannick, Kunze, Fabian, Malecha, Gregory, Tabareau, Nicolas, Winterhalter, ThÃ©o

Journal:

Journal of Automated Reasoning

Year:

2020

Language:

english

File:

PDF, 1.37 MB

english, 2020

28

Reconstruction d’une perte de substance de racine de cuisse sur membre lymphœdèmateux par un lambeau DIEP pédiculé

Gourari, A., Quignon, R., Tabareau-Delalande, F., De Pinieux, G., Rosset, P., Pucheux, J., Samimi, M., Lorette, G., Goga, D., Zakine, G.

Journal:

Annales de Chirurgie Plastique Esthétique

Year:

2014

Language:

french

File:

PDF, 555 KB

french, 2014

29

Chromosome 12 long arm rearrangement covering MDM2 and RASAL1 is associated with aggressive craniofacial juvenile ossifying fibroma and extracranial psammomatoid fibro-osseous lesions

Tabareau-Delalande, Flore, Collin, Christine, Gomez-Brouchet, Anne, Bouvier, Corinne, Decouvelaere, Anne-Valérie, de Muret, Anne, Pagès, Jean-Christophe, de Pinieux, Gonzague

Journal:

Modern Pathology

Year:

2015

Language:

english

File:

PDF, 2.51 MB

english, 2015

30

[ACM Press the eleventh workshop - Potsdam, Germany (2012.03.26-2012.03.26)] Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages - FOAL '12 - A practical monadic aspect weaver

Figueroa, Ismael, Tanter, Éric, Tabareau, Nicolas

Year:

2012

Language:

english

File:

PDF, 448 KB

english, 2012

31

How Synchronization Protects from Noise

Tabareau, Nicolas, Slotine, Jean-Jacques, Pham, Quang-Cuong, Breakspear, Michael

Journal:

PLoS Computational Biology

Year:

2010

Language:

english

File:

PDF, 685 KB

english, 2010

32

Diagnostic value of investigating GNAS mutations in fibro-osseous lesions: a retrospective study of 91 cases of fibrous dysplasia and 40 other fibro-osseous lesions

Tabareau-Delalande, Flore, Collin, Christine, Gomez-Brouchet, Anne, Decouvelaere, Anne-Valérie, Bouvier, Corinne, Larousserie, Frédérique, Marie, Béatrice, Delfour, Christophe, Aubert, Sébastien, Ross

Journal:

Modern Pathology

Year:

2013

Language:

english

File:

PDF, 403 KB

english, 2013

33

A Contraction Theory Approach to Stochastic Incremental Stability

Quang-Cuong Pham,, Tabareau, N., Slotine, J.-J.

Journal:

IEEE Transactions on Automatic Control

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

34

Comments on Carter et al’s “Activating GNAS Mutations in Parosteal Osteosarcoma”

Tabareau-Delalande, Flore, Collin, Christine, Larousserie, Frédérique, Bouvier, Corinne, Gomez-Brouchet, Anne, Aubert, Sébastien, Guinebretière, Jean-Marc, Decouvelaere, Anne-Valérie, de Muret, Anne,

Journal:

American Journal of Surgical Pathology

Year:

2015

Language:

english

File:

PDF, 225 KB

english, 2015

35

Flagellin-mediated protection against intestinal Yersinia pseudotuberculosis infection does not require interleukin-22.

Porte, Rémi, Van Maele, Laurye, Muñoz-Wolf, Natalia, Foligné, Benoit, Dumoutier, Laure, Tabareau, Julien, Cayet, Delphine, Gosset, Pierre, Jonckheere, Nicolas, Van Seuningen, Isabelle, Chabalgoity, A.

Journal:

Infection and Immunity

Year:

2016

Language:

english

File:

PDF, 4.72 MB

english, 2016

36

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Resource modalities in game semantics

Mellies, Paul-Andre, Tabareau, Nicolas

Year:

2007

Language:

english

File:

PDF, 266 KB

english, 2007

37

Recombinant flagellins with deletions in domains D1, D2, and D3: Characterization as novel immunoadjuvants

Biedma, Marina E., Cayet, Delphine, Tabareau, Julien, Rossi, Andrés H., Ivičak-Kocjan, Karolina, Moreno, Griselda, Errea, Agustina, Soulard, Daphnée, Parisi, Gustavo, Jerala, Roman, Berguer, Paula, Ru

Journal:

Year:

2018

Language:

english

File:

PDF, 1.82 MB

english, 2018

38

Cutaneous Epithelioid Clear Cells Angiosarcoma in a Young Woman with Congenital Lymphedema

Tabareau-Delalande, Flore, de Muret, Anne, Miquelestorena-Standley, Elodie, Decouvelaere, Anne-Valérie, de Pinieux, Gonzague

Journal:

Case Reports in Pathology

Year:

2013

Language:

english

File:

PDF, 1.38 MB

english, 2013

39

Étude historique du microscope optique : Des premières lentilles du XVIe siècle aux techniques de super-résolution et de lecture automatisée

Bruch, Jean-Frédéric, Sizaret, Damien, Brault, Antoine, Tabareau-Delalande, Flore, Maître, Frédéric

Journal:

Revue Francophone des Laboratoires

Year:

2015

File:

PDF, 1.38 MB

2015

40

A reasonably exceptional type theory

Pédrot, Pierre-Marie, Tabareau, Nicolas, Fehrmann, Hans Jacob, Tanter, Éric

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 434 KB

english, 2019

41

Model structure on the universe of all types in interval type theory

Boulier, Simon, Tabareau, Nicolas

Journal:

Mathematical Structures in Computer Science

Year:

2020

File:

PDF, 1.53 MB

2020

42

Airway structural cells regulate TLR5-mediated mucosal adjuvant activity

Van Maele, L, Fougeron, D, Janot, L, Didierlaurent, A, Cayet, D, Tabareau, J, Rumbo, M, Corvo-Chamaillard, S, Boulenouar, S, Jeffs, S, Vande Walle, L, Lamkanfi, M, Lemoine, Y, Erard, F, Hot, D, Hussel

Journal:

Mucosal Immunology

Year:

2014

Language:

english

File:

PDF, 1.58 MB

english, 2014

43

Ultrasound and microbubble-assisted gene delivery in Achilles tendons: Long lasting gene expression and restoration of fibromodulin KO phenotype

Anthony Delalande, Ayache Bouakaz, Gilles Renault, Flore Tabareau, Spiros Kotopoulis, Patrick Midoux, Brigitte Arbeille, Rustem Uzbekov, Shukti Chakravarti, Michiel Postema, Chantal Pichon

Journal:

Journal of Controlled Release

Year:

2011

Language:

english

File:

PDF, 1.19 MB

english, 2011

44

Molecular Markers of Fibro-Osseous Lesions and Osteosarcomas of the Craniofacial Complex—Current Situation and Recent Advances

Tabareau-Delalande, Flore, de Pinieux, Gonzague

Journal:

Current Oral Health Reports

Year:

2016

Language:

english

File:

PDF, 514 KB

english, 2016

45

Geometry of the superior colliculus mapping and efficient oculomotor computation

Nicolas Tabareau, Daniel Bennequin, Alain Berthoz, Jean-Jacques Slotine, Benoît Girard

Journal:

Biological Cybernetics

Year:

2007

Language:

english

File:

PDF, 1.33 MB

english, 2007

46

Évaluation radiographique du statut des marges de résection dans le carcinome in situ du sein : une étude diagnostique

C.-J. Fouché, F. Tabareau, P. Michenet, P. Lebas, E.-G. Simon

Journal:

Journal de Gynécologie Obstétrique et Biologie de la Reproduction

Year:

2011

File:

PDF, 176 KB

2011

47

[ACM Press the 11th annual international conference - Potsdam, Germany (2012.03.25-2012.03.30)] Proceedings of the 11th annual international conference on Aspect-oriented Software Development - AOSD '12 - A monadic interpretation of execution levels and exceptions for AOP

Tabareau, Nicolas

Year:

2012

Language:

english

File:

PDF, 750 KB

english, 2012

48

[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Eliminating reflection from type theory

Winterhalter, Théo, Sozeau, Matthieu, Tabareau, Nicolas

Year:

2019

Language:

english

File:

PDF, 962 KB

english, 2019

49

Sublingual flagellin protects against acute pneumococcal pneumonia in a TLR5-dependent and NLRC4-independent fashion

Muñoz-Wolf, Natalia, Rial, Analía, Fougeron, Delphine, Tabareau, Julien, Sirard, Jean-Claude, Chabalgoity, José A

Journal:

Future Microbiology

Year:

2016

Language:

english

File:

PDF, 1.88 MB

english, 2016

50

Étude historique de la visualisation de l’acide désoxyribonucléique

Bruch, Jean-Frédéric, Eloit, Martin, Tabareau-Delalande, Flore, El Gani, Myriam, kervarrec, Thibault, Pettereau, Adrien, Jousset, Sébastien

Journal:

Revue Francophone des Laboratoires

Year:

2019

File:

PDF, 2.46 MB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски